perm filename TAKR.IL[TIM,LSP]2 blob
sn#722277 filedate 1983-07-28 generic text, type T, neo UTF8
(FILECREATED "14-FEB-83 10:52:35" {PHYLUM}<GABRIEL>TAKR.;2 21317
changes to: (FNS TAKR TAK0 TAK1 TAK2 TAK3 TAK4 TAK5 TAK6 TAK7 TAK8 TAK9 TAK10 TAK11 TAK12
TAK13 TAK14 TAK15 TAK16 TAK17 TAK18 TAK19 TAK20 TAK21 TAK22 TAK23 TAK24 TAK25
TAK26 TAK27 TAK28 TAK29 TAK30 TAK31 TAK32 TAK33 TAK34 TAK35 TAK36 TAK37 TAK38
TAK39 TAK40 TAK41 TAK42 TAK43 TAK44 TAK45 TAK46 TAK47 TAK48 TAK49 TAK50 TAK51
TAK52 TAK53 TAK54 TAK55 TAK56 TAK57 TAK58 TAK59 TAK60 TAK61 TAK62 TAK63 TAK64
TAK65 TAK66 TAK67 TAK68 TAK69 TAK70 TAK71 TAK72 TAK73 TAK74 TAK75 TAK76 TAK77
TAK78 TAK79 TAK80 TAK81 TAK82 TAK83 TAK84 TAK85 TAK86 TAK87 TAK88 TAK89 TAK90
TAK91 TAK92 TAK93 TAK94 TAK95 TAK96 TAK97 TAK98 TAK99)
(VARS TAKRCOMS)
previous date: "14-FEB-83 10:22:33" {PHYLUM}<GABRIEL>TAKR.;1)
(PRETTYCOMPRINT TAKRCOMS)
(RPAQQ TAKRCOMS ((FNS TAKR TAK0 TAK1 TAK2 TAK3 TAK4 TAK5 TAK6 TAK7 TAK8 TAK9 TAK10 TAK11 TAK12 TAK13
TAK14 TAK15 TAK16 TAK17 TAK18 TAK19 TAK20 TAK21 TAK22 TAK23 TAK24 TAK25 TAK26
TAK27 TAK28 TAK29 TAK30 TAK31 TAK32 TAK33 TAK34 TAK35 TAK36 TAK37 TAK38 TAK39
TAK40 TAK41 TAK42 TAK43 TAK44 TAK45 TAK46 TAK47 TAK48 TAK49 TAK50 TAK51 TAK52
TAK53 TAK54 TAK55 TAK56 TAK57 TAK58 TAK59 TAK60 TAK61 TAK62 TAK63 TAK64 TAK65
TAK66 TAK67 TAK68 TAK69 TAK70 TAK71 TAK72 TAK73 TAK74 TAK75 TAK76 TAK77 TAK78
TAK79 TAK80 TAK81 TAK82 TAK83 TAK84 TAK85 TAK86 TAK87 TAK88 TAK89 TAK90 TAK91
TAK92 TAK93 TAK94 TAK95 TAK96 TAK97 TAK98 TAK99)))
(DEFINEQ
(TAKR
[LAMBDA NIL
(TAK0 18 12 6])
(TAK0
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK1 (TAK37 (SUB1 X)
Y Z)
(TAK11 (SUB1 Y)
Z X)
(TAK17 (SUB1 Z)
X Y])
(TAK1
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK2 (TAK74 (SUB1 X)
Y Z)
(TAK22 (SUB1 Y)
Z X)
(TAK34 (SUB1 Z)
X Y])
(TAK2
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK3 (TAK11 (SUB1 X)
Y Z)
(TAK33 (SUB1 Y)
Z X)
(TAK51 (SUB1 Z)
X Y])
(TAK3
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK4 (TAK48 (SUB1 X)
Y Z)
(TAK44 (SUB1 Y)
Z X)
(TAK68 (SUB1 Z)
X Y])
(TAK4
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK5 (TAK85 (SUB1 X)
Y Z)
(TAK55 (SUB1 Y)
Z X)
(TAK85 (SUB1 Z)
X Y])
(TAK5
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK6 (TAK22 (SUB1 X)
Y Z)
(TAK66 (SUB1 Y)
Z X)
(TAK2 (SUB1 Z)
X Y])
(TAK6
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK7 (TAK59 (SUB1 X)
Y Z)
(TAK77 (SUB1 Y)
Z X)
(TAK19 (SUB1 Z)
X Y])
(TAK7
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK8 (TAK96 (SUB1 X)
Y Z)
(TAK88 (SUB1 Y)
Z X)
(TAK36 (SUB1 Z)
X Y])
(TAK8
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK9 (TAK33 (SUB1 X)
Y Z)
(TAK99 (SUB1 Y)
Z X)
(TAK53 (SUB1 Z)
X Y])
(TAK9
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK10 (TAK70 (SUB1 X)
Y Z)
(TAK10 (SUB1 Y)
Z X)
(TAK70 (SUB1 Z)
X Y])
(TAK10
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK11 (TAK7 (SUB1 X)
Y Z)
(TAK21 (SUB1 Y)
Z X)
(TAK87 (SUB1 Z)
X Y])
(TAK11
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK12 (TAK44 (SUB1 X)
Y Z)
(TAK32 (SUB1 Y)
Z X)
(TAK4 (SUB1 Z)
X Y])
(TAK12
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK13 (TAK81 (SUB1 X)
Y Z)
(TAK43 (SUB1 Y)
Z X)
(TAK21 (SUB1 Z)
X Y])
(TAK13
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK14 (TAK18 (SUB1 X)
Y Z)
(TAK54 (SUB1 Y)
Z X)
(TAK38 (SUB1 Z)
X Y])
(TAK14
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK15 (TAK55 (SUB1 X)
Y Z)
(TAK65 (SUB1 Y)
Z X)
(TAK55 (SUB1 Z)
X Y])
(TAK15
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK16 (TAK92 (SUB1 X)
Y Z)
(TAK76 (SUB1 Y)
Z X)
(TAK72 (SUB1 Z)
X Y])
(TAK16
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK17 (TAK29 (SUB1 X)
Y Z)
(TAK87 (SUB1 Y)
Z X)
(TAK89 (SUB1 Z)
X Y])
(TAK17
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK18 (TAK66 (SUB1 X)
Y Z)
(TAK98 (SUB1 Y)
Z X)
(TAK6 (SUB1 Z)
X Y])
(TAK18
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK19 (TAK3 (SUB1 X)
Y Z)
(TAK9 (SUB1 Y)
Z X)
(TAK23 (SUB1 Z)
X Y])
(TAK19
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK20 (TAK40 (SUB1 X)
Y Z)
(TAK20 (SUB1 Y)
Z X)
(TAK40 (SUB1 Z)
X Y])
(TAK20
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK21 (TAK77 (SUB1 X)
Y Z)
(TAK31 (SUB1 Y)
Z X)
(TAK57 (SUB1 Z)
X Y])
(TAK21
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK22 (TAK14 (SUB1 X)
Y Z)
(TAK42 (SUB1 Y)
Z X)
(TAK74 (SUB1 Z)
X Y])
(TAK22
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK23 (TAK51 (SUB1 X)
Y Z)
(TAK53 (SUB1 Y)
Z X)
(TAK91 (SUB1 Z)
X Y])
(TAK23
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK24 (TAK88 (SUB1 X)
Y Z)
(TAK64 (SUB1 Y)
Z X)
(TAK8 (SUB1 Z)
X Y])
(TAK24
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK25 (TAK25 (SUB1 X)
Y Z)
(TAK75 (SUB1 Y)
Z X)
(TAK25 (SUB1 Z)
X Y])
(TAK25
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK26 (TAK62 (SUB1 X)
Y Z)
(TAK86 (SUB1 Y)
Z X)
(TAK42 (SUB1 Z)
X Y])
(TAK26
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK27 (TAK99 (SUB1 X)
Y Z)
(TAK97 (SUB1 Y)
Z X)
(TAK59 (SUB1 Z)
X Y])
(TAK27
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK28 (TAK36 (SUB1 X)
Y Z)
(TAK8 (SUB1 Y)
Z X)
(TAK76 (SUB1 Z)
X Y])
(TAK28
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK29 (TAK73 (SUB1 X)
Y Z)
(TAK19 (SUB1 Y)
Z X)
(TAK93 (SUB1 Z)
X Y])
(TAK29
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK30 (TAK10 (SUB1 X)
Y Z)
(TAK30 (SUB1 Y)
Z X)
(TAK10 (SUB1 Z)
X Y])
(TAK30
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK31 (TAK47 (SUB1 X)
Y Z)
(TAK41 (SUB1 Y)
Z X)
(TAK27 (SUB1 Z)
X Y])
(TAK31
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK32 (TAK84 (SUB1 X)
Y Z)
(TAK52 (SUB1 Y)
Z X)
(TAK44 (SUB1 Z)
X Y])
(TAK32
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK33 (TAK21 (SUB1 X)
Y Z)
(TAK63 (SUB1 Y)
Z X)
(TAK61 (SUB1 Z)
X Y])
(TAK33
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK34 (TAK58 (SUB1 X)
Y Z)
(TAK74 (SUB1 Y)
Z X)
(TAK78 (SUB1 Z)
X Y])
(TAK34
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK35 (TAK95 (SUB1 X)
Y Z)
(TAK85 (SUB1 Y)
Z X)
(TAK95 (SUB1 Z)
X Y])
(TAK35
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK36 (TAK32 (SUB1 X)
Y Z)
(TAK96 (SUB1 Y)
Z X)
(TAK12 (SUB1 Z)
X Y])
(TAK36
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK37 (TAK69 (SUB1 X)
Y Z)
(TAK7 (SUB1 Y)
Z X)
(TAK29 (SUB1 Z)
X Y])
(TAK37
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK38 (TAK6 (SUB1 X)
Y Z)
(TAK18 (SUB1 Y)
Z X)
(TAK46 (SUB1 Z)
X Y])
(TAK38
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK39 (TAK43 (SUB1 X)
Y Z)
(TAK29 (SUB1 Y)
Z X)
(TAK63 (SUB1 Z)
X Y])
(TAK39
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK40 (TAK80 (SUB1 X)
Y Z)
(TAK40 (SUB1 Y)
Z X)
(TAK80 (SUB1 Z)
X Y])
(TAK40
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK41 (TAK17 (SUB1 X)
Y Z)
(TAK51 (SUB1 Y)
Z X)
(TAK97 (SUB1 Z)
X Y])
(TAK41
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK42 (TAK54 (SUB1 X)
Y Z)
(TAK62 (SUB1 Y)
Z X)
(TAK14 (SUB1 Z)
X Y])
(TAK42
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK43 (TAK91 (SUB1 X)
Y Z)
(TAK73 (SUB1 Y)
Z X)
(TAK31 (SUB1 Z)
X Y])
(TAK43
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK44 (TAK28 (SUB1 X)
Y Z)
(TAK84 (SUB1 Y)
Z X)
(TAK48 (SUB1 Z)
X Y])
(TAK44
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK45 (TAK65 (SUB1 X)
Y Z)
(TAK95 (SUB1 Y)
Z X)
(TAK65 (SUB1 Z)
X Y])
(TAK45
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK46 (TAK2 (SUB1 X)
Y Z)
(TAK6 (SUB1 Y)
Z X)
(TAK82 (SUB1 Z)
X Y])
(TAK46
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK47 (TAK39 (SUB1 X)
Y Z)
(TAK17 (SUB1 Y)
Z X)
(TAK99 (SUB1 Z)
X Y])
(TAK47
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK48 (TAK76 (SUB1 X)
Y Z)
(TAK28 (SUB1 Y)
Z X)
(TAK16 (SUB1 Z)
X Y])
(TAK48
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK49 (TAK13 (SUB1 X)
Y Z)
(TAK39 (SUB1 Y)
Z X)
(TAK33 (SUB1 Z)
X Y])
(TAK49
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK50 (TAK50 (SUB1 X)
Y Z)
(TAK50 (SUB1 Y)
Z X)
(TAK50 (SUB1 Z)
X Y])
(TAK50
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK51 (TAK87 (SUB1 X)
Y Z)
(TAK61 (SUB1 Y)
Z X)
(TAK67 (SUB1 Z)
X Y])
(TAK51
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK52 (TAK24 (SUB1 X)
Y Z)
(TAK72 (SUB1 Y)
Z X)
(TAK84 (SUB1 Z)
X Y])
(TAK52
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK53 (TAK61 (SUB1 X)
Y Z)
(TAK83 (SUB1 Y)
Z X)
(TAK1 (SUB1 Z)
X Y])
(TAK53
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK54 (TAK98 (SUB1 X)
Y Z)
(TAK94 (SUB1 Y)
Z X)
(TAK18 (SUB1 Z)
X Y])
(TAK54
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK55 (TAK35 (SUB1 X)
Y Z)
(TAK5 (SUB1 Y)
Z X)
(TAK35 (SUB1 Z)
X Y])
(TAK55
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK56 (TAK72 (SUB1 X)
Y Z)
(TAK16 (SUB1 Y)
Z X)
(TAK52 (SUB1 Z)
X Y])
(TAK56
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK57 (TAK9 (SUB1 X)
Y Z)
(TAK27 (SUB1 Y)
Z X)
(TAK69 (SUB1 Z)
X Y])
(TAK57
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK58 (TAK46 (SUB1 X)
Y Z)
(TAK38 (SUB1 Y)
Z X)
(TAK86 (SUB1 Z)
X Y])
(TAK58
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK59 (TAK83 (SUB1 X)
Y Z)
(TAK49 (SUB1 Y)
Z X)
(TAK3 (SUB1 Z)
X Y])
(TAK59
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK60 (TAK20 (SUB1 X)
Y Z)
(TAK60 (SUB1 Y)
Z X)
(TAK20 (SUB1 Z)
X Y])
(TAK60
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK61 (TAK57 (SUB1 X)
Y Z)
(TAK71 (SUB1 Y)
Z X)
(TAK37 (SUB1 Z)
X Y])
(TAK61
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK62 (TAK94 (SUB1 X)
Y Z)
(TAK82 (SUB1 Y)
Z X)
(TAK54 (SUB1 Z)
X Y])
(TAK62
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK63 (TAK31 (SUB1 X)
Y Z)
(TAK93 (SUB1 Y)
Z X)
(TAK71 (SUB1 Z)
X Y])
(TAK63
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK64 (TAK68 (SUB1 X)
Y Z)
(TAK4 (SUB1 Y)
Z X)
(TAK88 (SUB1 Z)
X Y])
(TAK64
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK65 (TAK5 (SUB1 X)
Y Z)
(TAK15 (SUB1 Y)
Z X)
(TAK5 (SUB1 Z)
X Y])
(TAK65
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK66 (TAK42 (SUB1 X)
Y Z)
(TAK26 (SUB1 Y)
Z X)
(TAK22 (SUB1 Z)
X Y])
(TAK66
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK67 (TAK79 (SUB1 X)
Y Z)
(TAK37 (SUB1 Y)
Z X)
(TAK39 (SUB1 Z)
X Y])
(TAK67
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK68 (TAK16 (SUB1 X)
Y Z)
(TAK48 (SUB1 Y)
Z X)
(TAK56 (SUB1 Z)
X Y])
(TAK68
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK69 (TAK53 (SUB1 X)
Y Z)
(TAK59 (SUB1 Y)
Z X)
(TAK73 (SUB1 Z)
X Y])
(TAK69
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK70 (TAK90 (SUB1 X)
Y Z)
(TAK70 (SUB1 Y)
Z X)
(TAK90 (SUB1 Z)
X Y])
(TAK70
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK71 (TAK27 (SUB1 X)
Y Z)
(TAK81 (SUB1 Y)
Z X)
(TAK7 (SUB1 Z)
X Y])
(TAK71
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK72 (TAK64 (SUB1 X)
Y Z)
(TAK92 (SUB1 Y)
Z X)
(TAK24 (SUB1 Z)
X Y])
(TAK72
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK73 (TAK1 (SUB1 X)
Y Z)
(TAK3 (SUB1 Y)
Z X)
(TAK41 (SUB1 Z)
X Y])
(TAK73
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK74 (TAK38 (SUB1 X)
Y Z)
(TAK14 (SUB1 Y)
Z X)
(TAK58 (SUB1 Z)
X Y])
(TAK74
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK75 (TAK75 (SUB1 X)
Y Z)
(TAK25 (SUB1 Y)
Z X)
(TAK75 (SUB1 Z)
X Y])
(TAK75
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK76 (TAK12 (SUB1 X)
Y Z)
(TAK36 (SUB1 Y)
Z X)
(TAK92 (SUB1 Z)
X Y])
(TAK76
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK77 (TAK49 (SUB1 X)
Y Z)
(TAK47 (SUB1 Y)
Z X)
(TAK9 (SUB1 Z)
X Y])
(TAK77
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK78 (TAK86 (SUB1 X)
Y Z)
(TAK58 (SUB1 Y)
Z X)
(TAK26 (SUB1 Z)
X Y])
(TAK78
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK79 (TAK23 (SUB1 X)
Y Z)
(TAK69 (SUB1 Y)
Z X)
(TAK43 (SUB1 Z)
X Y])
(TAK79
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK80 (TAK60 (SUB1 X)
Y Z)
(TAK80 (SUB1 Y)
Z X)
(TAK60 (SUB1 Z)
X Y])
(TAK80
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK81 (TAK97 (SUB1 X)
Y Z)
(TAK91 (SUB1 Y)
Z X)
(TAK77 (SUB1 Z)
X Y])
(TAK81
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK82 (TAK34 (SUB1 X)
Y Z)
(TAK2 (SUB1 Y)
Z X)
(TAK94 (SUB1 Z)
X Y])
(TAK82
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK83 (TAK71 (SUB1 X)
Y Z)
(TAK13 (SUB1 Y)
Z X)
(TAK11 (SUB1 Z)
X Y])
(TAK83
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK84 (TAK8 (SUB1 X)
Y Z)
(TAK24 (SUB1 Y)
Z X)
(TAK28 (SUB1 Z)
X Y])
(TAK84
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK85 (TAK45 (SUB1 X)
Y Z)
(TAK35 (SUB1 Y)
Z X)
(TAK45 (SUB1 Z)
X Y])
(TAK85
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK86 (TAK82 (SUB1 X)
Y Z)
(TAK46 (SUB1 Y)
Z X)
(TAK62 (SUB1 Z)
X Y])
(TAK86
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK87 (TAK19 (SUB1 X)
Y Z)
(TAK57 (SUB1 Y)
Z X)
(TAK79 (SUB1 Z)
X Y])
(TAK87
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK88 (TAK56 (SUB1 X)
Y Z)
(TAK68 (SUB1 Y)
Z X)
(TAK96 (SUB1 Z)
X Y])
(TAK88
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK89 (TAK93 (SUB1 X)
Y Z)
(TAK79 (SUB1 Y)
Z X)
(TAK13 (SUB1 Z)
X Y])
(TAK89
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK90 (TAK30 (SUB1 X)
Y Z)
(TAK90 (SUB1 Y)
Z X)
(TAK30 (SUB1 Z)
X Y])
(TAK90
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK91 (TAK67 (SUB1 X)
Y Z)
(TAK1 (SUB1 Y)
Z X)
(TAK47 (SUB1 Z)
X Y])
(TAK91
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK92 (TAK4 (SUB1 X)
Y Z)
(TAK12 (SUB1 Y)
Z X)
(TAK64 (SUB1 Z)
X Y])
(TAK92
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK93 (TAK41 (SUB1 X)
Y Z)
(TAK23 (SUB1 Y)
Z X)
(TAK81 (SUB1 Z)
X Y])
(TAK93
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK94 (TAK78 (SUB1 X)
Y Z)
(TAK34 (SUB1 Y)
Z X)
(TAK98 (SUB1 Z)
X Y])
(TAK94
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK95 (TAK15 (SUB1 X)
Y Z)
(TAK45 (SUB1 Y)
Z X)
(TAK15 (SUB1 Z)
X Y])
(TAK95
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK96 (TAK52 (SUB1 X)
Y Z)
(TAK56 (SUB1 Y)
Z X)
(TAK32 (SUB1 Z)
X Y])
(TAK96
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK97 (TAK89 (SUB1 X)
Y Z)
(TAK67 (SUB1 Y)
Z X)
(TAK49 (SUB1 Z)
X Y])
(TAK97
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK98 (TAK26 (SUB1 X)
Y Z)
(TAK78 (SUB1 Y)
Z X)
(TAK66 (SUB1 Z)
X Y])
(TAK98
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK99 (TAK63 (SUB1 X)
Y Z)
(TAK89 (SUB1 Y)
Z X)
(TAK83 (SUB1 Z)
X Y])
(TAK99
[LAMBDA (X Y Z)
(COND
((NOT (ILESSP Y X))
Z)
(T (TAK0 (TAK0 (SUB1 X)
Y Z)
(TAK0 (SUB1 Y)
Z X)
(TAK0 (SUB1 Z)
X Y])
)
(DECLARE: DONTCOPY
(FILEMAP (NIL (1526 21295 (TAKR 1536 . 1583) (TAK0 1585 . 1787) (TAK1 1789 . 1991) (TAK2 1993 . 2195)
(TAK3 2197 . 2399) (TAK4 2401 . 2603) (TAK5 2605 . 2805) (TAK6 2807 . 3009) (TAK7 3011 . 3213) (TAK8
3215 . 3417) (TAK9 3419 . 3613) (TAK10 3615 . 3808) (TAK11 3810 . 4003) (TAK12 4005 . 4200) (TAK13
4202 . 4397) (TAK14 4399 . 4594) (TAK15 4596 . 4791) (TAK16 4793 . 4988) (TAK17 4990 . 5183) (TAK18
5185 . 5376) (TAK19 5378 . 5573) (TAK20 5575 . 5770) (TAK21 5772 . 5967) (TAK22 5969 . 6164) (TAK23
6166 . 6359) (TAK24 6361 . 6556) (TAK25 6558 . 6753) (TAK26 6755 . 6950) (TAK27 6952 . 7145) (TAK28
7147 . 7342) (TAK29 7344 . 7539) (TAK30 7541 . 7736) (TAK31 7738 . 7933) (TAK32 7935 . 8130) (TAK33
8132 . 8327) (TAK34 8329 . 8524) (TAK35 8526 . 8721) (TAK36 8723 . 8916) (TAK37 8918 . 9111) (TAK38
9113 . 9308) (TAK39 9310 . 9505) (TAK40 9507 . 9702) (TAK41 9704 . 9899) (TAK42 9901 . 10096) (TAK43
10098 . 10293) (TAK44 10295 . 10490) (TAK45 10492 . 10683) (TAK46 10685 . 10880) (TAK47 10882 . 11077)
(TAK48 11079 . 11274) (TAK49 11276 . 11471) (TAK50 11473 . 11668) (TAK51 11670 . 11865) (TAK52 11867
. 12060) (TAK53 12062 . 12257) (TAK54 12259 . 12452) (TAK55 12454 . 12649) (TAK56 12651 . 12844) (
TAK57 12846 . 13041) (TAK58 13043 . 13236) (TAK59 13238 . 13433) (TAK60 13435 . 13630) (TAK61 13632 .
13827) (TAK62 13829 . 14024) (TAK63 14026 . 14219) (TAK64 14221 . 14412) (TAK65 14414 . 14609) (TAK66
14611 . 14806) (TAK67 14808 . 15003) (TAK68 15005 . 15200) (TAK69 15202 . 15397) (TAK70 15399 . 15592)
(TAK71 15594 . 15789) (TAK72 15791 . 15982) (TAK73 15984 . 16179) (TAK74 16181 . 16376) (TAK75 16378
. 16573) (TAK76 16575 . 16768) (TAK77 16770 . 16965) (TAK78 16967 . 17162) (TAK79 17164 . 17359) (
TAK80 17361 . 17556) (TAK81 17558 . 17751) (TAK82 17753 . 17948) (TAK83 17950 . 18143) (TAK84 18145 .
18340) (TAK85 18342 . 18537) (TAK86 18539 . 18734) (TAK87 18736 . 18931) (TAK88 18933 . 19128) (TAK89
19130 . 19325) (TAK90 19327 . 19520) (TAK91 19522 . 19715) (TAK92 19717 . 19912) (TAK93 19914 . 20109)
(TAK94 20111 . 20306) (TAK95 20308 . 20503) (TAK96 20505 . 20700) (TAK97 20702 . 20897) (TAK98 20899
. 21094) (TAK99 21096 . 21293)))))
STOP